Fix do_IRQ high bit masking.
authorcl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Fri, 31 Mar 2006 16:44:26 +0000 (17:44 +0100)
committercl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Fri, 31 Mar 2006 16:44:26 +0000 (17:44 +0100)
commit05c8070bb4eac07ff52203ef090b8881bd56560b
tree5b746ab983e9180ccc8314aa2a1c38f18e944f9f
parente5829dcbe18cb47ca3c55b589289bbb67dd41213
Fix do_IRQ high bit masking.
Instead of setting the highest bit (which isn't easily done on native x86_64),
negate the interrupt vector stored in orig_{e,r}ax.
Also add patch for native build.

Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
linux-2.6-xen-sparse/arch/i386/kernel/entry-xen.S
linux-2.6-xen-sparse/arch/i386/kernel/irq-xen.c
linux-2.6-xen-sparse/arch/x86_64/kernel/entry-xen.S
linux-2.6-xen-sparse/arch/x86_64/kernel/irq-xen.c
linux-2.6-xen-sparse/drivers/xen/core/evtchn.c
patches/linux-2.6.16/x86-increase-interrupt-vector-range.patch [new file with mode: 0644]